<?php
if(!defined(SCOT_UTIL)) {
	define('SCOT_UTIL', true);

	function getmicrotime() { 
		return (float)time() + (float)microtime();
//		list($usec, $sec) = explode(" ", microtime()); 
	
//		return ((float)$usec + (float)$sec); 
	}


}
?>